home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / src / machserver / 1.098 / sys / sysCode.c < prev    next >
Encoding:
C/C++ Source or Header  |  1990-10-09  |  3.5 KB  |  155 lines
  1. /* 
  2.  * sysCode.c --
  3.  *
  4.  *    Miscellaneous routines for the system.
  5.  *
  6.  * Copyright (C) 1985 Regents of the University of California
  7.  * All rights reserved.
  8.  */
  9.  
  10. #ifndef lint
  11. static char rcsid[] = "$Header: /sprite/src/kernel/sys/RCS/sysCode.c,v 9.3 90/10/09 12:00:41 jhh Exp $ SPRITE (Berkeley)";
  12. #endif not lint
  13.  
  14. #include <sprite.h>
  15. #include <dbg.h>
  16. #include <sys.h>
  17. #include <sysInt.h>
  18. #include <rpc.h>
  19. #include <sync.h>
  20. #include <sched.h>
  21. #include <vm.h>
  22. #include <net.h>
  23. #include <stdio.h>
  24.  
  25. /*
  26.  * Should be in some header file?
  27.  */
  28. extern    void    SysInitSysCall();
  29.  
  30.  
  31.  
  32. /*
  33.  * ----------------------------------------------------------------------------
  34.  *
  35.  * Sys_Init --
  36.  *
  37.  *    Initializes system-dependent data structures.
  38.  *
  39.  *    The number of calls to disable interrupts is set to 1 for 
  40.  *    each processor, since Sys_Init is assumed to be called with 
  41.  *    interrupts off and to be followed with an explicit call to 
  42.  *    enable interrupts.
  43.  *
  44.  *    Until ENABLE_INTR() is called without a prior DISABLE_INTR() (i.e.,
  45.  *    when it is called outside the context of a MASTER_UNLOCK), interrupts
  46.  *    will remain disabled.
  47.  *
  48.  * Results:
  49.  *    None.
  50.  *
  51.  * Side effects:
  52.  *    For each processor, the number of disable interrupt calls outstanding
  53.  *    is initialized.  
  54.  *
  55.  * ----------------------------------------------------------------------------
  56.  */
  57.  
  58. void 
  59. Sys_Init()
  60. {
  61.     SysInitSysCall();
  62. }
  63.  
  64. /*
  65.  *----------------------------------------------------------------------
  66.  *
  67.  * Sys_GetHostId --
  68.  *
  69.  *    This returns the Sprite Host Id for the system.  This Id is
  70.  *    guaranteed to be unique accross all Sprite Hosts participating
  71.  *    in the system.  This is plucked from the RPC system now,
  72.  *    but perhaps should be determined from the filesystem.
  73.  *
  74.  * Results:
  75.  *    The Sprite Host Id.
  76.  *
  77.  * Side effects:
  78.  *    None.
  79.  *
  80.  *----------------------------------------------------------------------
  81.  */
  82. int
  83. Sys_GetHostId()
  84. {
  85.     return(rpc_SpriteID);
  86. }
  87.  
  88. /*
  89.  *----------------------------------------------------------------------
  90.  *
  91.  * Sys_HostPrint --
  92.  *
  93.  *    Print out a statement concerning a host.  This maps to a
  94.  *    string hostname if possible, and prints out the message.
  95.  *
  96.  * Results:
  97.  *    None.
  98.  *
  99.  * Side effects:
  100.  *    printf.
  101.  *
  102.  *----------------------------------------------------------------------
  103.  */
  104.  
  105. static int lastDay[13] = {0,31,28,31,30,31,30,31,31,30,31,30,31};
  106.  
  107. void
  108. Sys_HostPrint(spriteID, string)
  109.     int spriteID;
  110.     char *string;
  111. {
  112.     char hostName[128];
  113.     Time time;
  114.     int offset;
  115.     int seconds;
  116.     Boolean dstFlag;
  117.     Time_Parts timeParts;
  118.  
  119.     Timer_GetTimeOfDay(&time, &offset, &dstFlag);
  120.     seconds = time.seconds + offset * 60;
  121.     Time_ToParts(seconds, FALSE, &timeParts);
  122.     /*
  123.      * Until Time_ToParts makes the month count from 1, not zero.
  124.      */
  125.     timeParts.month += 1;
  126.     /*
  127.      * Gag, my own (simplified) daylight savings correction.
  128.      */
  129.     if (dstFlag) {
  130.     if ((timeParts.month >= 4) &&    /* All of April */
  131.         (timeParts.month <= 10)) {    /* thru October */
  132.         timeParts.hours++;
  133.         if (timeParts.hours >= 24) {
  134.         timeParts.hours = 0;
  135.         timeParts.dayOfMonth++;
  136.         if (timeParts.dayOfMonth > lastDay[timeParts.month]) {
  137.             timeParts.month++;
  138.             timeParts.dayOfMonth = 1;
  139.         }
  140.         }
  141.     }
  142.     }
  143.     printf("%d/%d/%d %d:%02d:%02d ", timeParts.month, timeParts.dayOfMonth,
  144.         timeParts.year, timeParts.hours, timeParts.minutes,
  145.         timeParts.seconds);
  146.  
  147.     Net_SpriteIDToName(spriteID, 128, hostName);
  148.     if (*hostName == '\0') {
  149.     printf("Sprite Host <%d> %s", spriteID, string);
  150.     } else {
  151.     printf("%s (%d) %s", hostName, spriteID, string);
  152.     }
  153. }
  154.  
  155.